41. Grobner bases
پدیدآورنده : / Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Grobner bases,Algebra- Data processing
رده :
QA251
.
3
.
B43
1993
42. Guaranteed Accuracy in Numerical Linear Algebra
پدیدآورنده : by S. K. Godunov, A. G. Antonov, O. P. Kiriljuk, V. I. Kostin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Matrix theory.
43. Handbook of discrete and computational geometry
پدیدآورنده : / edited by Jacob E. Goodman and Joseph O'Rourke
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial geometry , Handbooks, manuals, etc,Geometry , Data processing , Handbooks, manuals, etc
رده :
E-BOOK
44. Ideals, varieties, and algorithms
پدیدآورنده : David A. Cox, John Little, Donal O'Shea.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Commutative algebra-- Data processing.,Geometry, Algebraic-- Data processing.
45. Ideals, varieties, and algorithms :
پدیدآورنده : / David A. Cox, John Little, Donal O'Shea
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Algebraic , Data processing,Commutative algebra , Data processing
رده :
E-BOOK
46. Invariant Methods in Discrete and Computational Geometry :
پدیدآورنده : edited by Neil L. White.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Electronic data processing.
رده :
QA448
.
D38
E358
1995
47. Linear Algebra for Large Scale and Real-Time Applications
پدیدآورنده : edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.,Systems theory.
48. MATLAB guide /
پدیدآورنده : Desmond J. Higham, Nicholas J. Higham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATLAB.,MATLAB.,MATLAB.,MATLAB.,Numerical analysis-- Data processing.,Electronic Data Processing.,Numerical Analysis, Computer-Assisted.,31.40 mathematical analysis: general.,31.76 numerical analysis.,54.53 programming languages.,54.71 formal manipulation, computer algebra.,Dataprocessing.,EDV-Revision,MATLAB,MATLAB.,Matrices.,Numerical analysis-- Data processing.,Numerical analysis-- Data processing.,Numerieke methoden.,Numerische Mathematik,Software.
رده :
QA297
.
H5217
2005
49. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
50. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
51. Mathematics for computer algebra
پدیدآورنده : / Maurice Mignotte
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Algebra- Data processing
رده :
QA155
.
7
.
E4
,
M5213
1991
52. Modern computer algebra
پدیدآورنده : / Joachim von zur Gathen and Jurgen Gerhard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Algebra- Data processing,Computer algorithms,Computer science- Mathematics
رده :
QA155
.
7
.
E4
,
Z87
1999
53. Near-Rings and Near-Fields
پدیدآورنده : edited by Yuen Fong, Carl Maxson, John Meldrum, Günter Pilz, Andries Walt, Leon Wyk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.
54. Noncommutative Grobner bases and filtered-graded transfer
پدیدآورنده : / Huishi Li
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Associative rings- Data processing,Grobner bases,Algebra- Data processing,Filtered rings
رده :
QA3
.
L28
179
55. Noncommutative Grobner bases and filtered-graded transfer ]electronic resources[
پدیدآورنده : Li, Huishi
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Associative rings-- Data processing,، Grobner bases,، Algebra-- Data processing,، Filtered rings
رده :
QA
3
.
L28
no
.
1795
56. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
57. Some tapas of computer algebra
پدیدآورنده : / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
